退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从递归下降的类型检查到抽象机的类型检查*
Ilya Sergey; Dave Clarke;
机译:通过归约进行类型检查与通过评估进行类型检查之间的对应关系
机译:在Java字节码验证中使用抽象解释为接口添加类型检查
机译:具有递归类型的模型检查高阶程序
机译:具有机器可检查的健全性证明的低级类型汇编语言。
机译:是预期与药物检查服务利用的时间相关的物质类型吗?:横断面研究
机译:从递归下降的类型检查到抽象机的类型检查
机译:血型检查用凝集素,含有该凝集素的血型检查剂以及使用该血型检查剂的血型检查方法
机译:树型清单生成设备,树型清单分析设备,树型清单生成系统,树型清单生成方法,树型清单分析方法和程序
机译:用于检查抽象数据类型的版本的签名哈希
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。